// extend an amended module
extends "amendModule1.pkl"
